Section: New Results

Models of Audit Logs

Participants : Karthikeyan Bhargavan, Cédric Fournet [MSR Cambridge] , Nataliya Guts, Francesco Zappa Nardelli.

This line of research was accurately described in last year activity report of Moscova. Here we just mention that Nataliya Guts defended her PhD [19] on "Auditability for security protocols" on January 11th, 2011.